Georges Gonthier: The Four Colour Theorem

Georges Gonthier: the four colour theorem

RU Computer Science

BPR programme: participant Georges Gonthier explains "Four colour theorem"

Isaac Newton Institute for Mathematical Sciences

The Four Color Map Theorem - Numberphile

Four Colors, ANY Map!

Benjamin Hershey

Four Colors Theorem by Ellie

Proof Engineering, from the Four Colour to the Odd Order Theorem

Microsoft Research

The 4 Colour Theorem Explained

The Science Biome

Georges Gonthier: The Logic of Real Proofs

Federated Logic Conference FLoC 2018

The Four-Colour Theorem

The Four Colour Theorem

'The real four-colour problem'

The Four Color Theorem

Math's Map Coloring Problem - The First Proof Solved By A Computer

Quanta Magazine

Four Color Problem

Four color theorem

Intro proof 4 colour map theorem

RH

The Four-Color Theorem and an Instanton Invariant for Spatial Graphs I - Peter Kronheimer

Institute for Advanced Study

CSSE Lecture: The Proof of the Four Colour Theorm (Audio Only)

University of Newcastle CESE

Four Color Theorem- Evan May

Four Colour Theorem by Team Word Panda from Shenton College Year 9 #CHOOSEMATHSAWARDS